projects / giada.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d3c10f) | patch
Patches refreshed.
authorJaromír Mikeš <mira.mikes@seznam.cz>
Tue, 15 Aug 2017 02:47:29 +0000 (04:47 +0200)
committerJaromír Mikeš <mira.mikes@seznam.cz>
Tue, 15 Aug 2017 02:47:29 +0000 (04:47 +0200)
commit714804801a96fd187b1f82c0b5cdd05790ba0cde
tree97654176e627589e6a62e8d3586e1d1d669c8cc7tree | snapshot
parent8d3c10f7e396a37018a3c3a549e29a989e70c3aecommit | diff
Patches refreshed.
debian/patches/02-rtmidi-pkgconfig.patch diff | blob | history
debian/patches/04-catch.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.